libretto/libretto/CoreLib/|+|

|+|

object |+|
class Object
trait Matchable
class Any

Value members

Methods

def IXI[A, B, C, D]: A |+| B |+| C |+| D -⚬ A |+| C |+| B |+| D
def assocLR[A, B, C]: A |+| B |+| C -⚬ A |+| B |+| C
def assocRL[A, B, C]: A |+| B |+| C -⚬ A |+| B |+| C
def bimap[A, B, C, D](f: A -⚬ B, g: C -⚬ D): A |+| C -⚬ B |+| D
def left[B]: Functor[[x] =>> x |+| B]

Disjoint union is covariant in the left argument.

def right[A]: Functor[[x] =>> A |+| x]

Disjoint union is covariant in the right argument.

def swap[A, B]: A |+| B -⚬ B |+| A

Fields